Narrow your search
Listing 1 - 10 of 143 << page
of 15
>>
Sort by

Book
First-order logic
Author:
ISBN: 3540040994 3642867200 3642867189 9783540040996 Year: 1971 Volume: 43 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Practical logic
Authors: ---
ISBN: 9027705577 9789027705570 Year: 1976 Publisher: Dordrecht Reidel

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logical systems containing only a finite number of symbols
Author:
ISBN: 0840500734 9780840500731 Year: 1967 Volume: 21 Publisher: Montréal Presses de l'Université de Montréal

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Non-archimedean utility theory
Author:
ISBN: 9027703523 9401017263 9401017247 Year: 1975 Publisher: Dordrecht Reidel

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Unvollständigkeit und Unentscheidbarkeit : die mathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Author:
ISBN: 3211812083 3709183529 9783211812082 Year: 1973 Publisher: Wien Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Foundations of the logical theory of scientific knowledge (complex logic)
Authors: --- ---
ISBN: 9027703248 9401025010 9027701938 9789027703248 Year: 1973 Volume: 9 Publisher: Dordrecht Reidel

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logique et informatique : une introduction
Authors: --- ---
ISSN: 02990733 ISBN: 2726106692 9782726106693 Year: 1991 Volume: 8 Publisher: Le Chesnay Institut national de recherche en informatique et en automatique

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Author:
ISBN: 3528082887 Year: 1970 Publisher: Braunschweig Vieweg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Meta-mathematical aspects of Martin-Löf's type theory
Authors: ---
ISBN: 8880981226 Year: 2000

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Language, proof and logic
Authors: --- ---
ISBN: 157586374X 9781575863740 Year: 2002 Publisher: Stanford CSLI

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 143 << page
of 15
>>
Sort by